function configureIframeHeight(){
    $("#display").height(
        $(window).height() - $(".banner").outerHeight(false));
    $(window).resize(
        function (){
            $("#display").height(
                $(window).height - $(".banner").outerHeight(false));
        });
}

function toLink(){
    var link = "./PAGENAME.html";
    $('.operations').find('li').find('a').click(function (){
        $('iframe').attr('src',link.replace(/PAGENAME/,this.className));
    });
}